Hybrid Flow Graphs: Towards the Transformation of Sequential Code into Parallel Pipeline Networks
نویسندگان
چکیده
Transforming procedural code for execution by specialized parallel platforms requires a model of computation sufficiently close to both the sequential programming languages and the target parallel environment. In this paper, we present Hybrid Flow Graphs, encompassing both control flow and data flow in a unified, pipeline based model of computation. Besides the definition of the Hybrid Flow Graph, we introduce a formal framework based on graph rewriting, used for the specification of Hybrid Flow Graph semantics as well as for the proofs of correctness of the associated code transformations. As a formalism particularly close to pipeline-based runtime environments which include many modern database engines, the Hybrid Flow Graphs may become a powerful means for the automatic parallelization of sequential code under these environments.
منابع مشابه
Extracting Coarse-Grained Pipelined Parallelism Out of Sequential Applications for Parallel Processor Arrays
We present development and runtime support for building application specific data processing pipelines out of sequential code, and for executing them on a general purpose platform that features a reconfigurable Parallel Processor Array (PPA). Our approach is to let the programmer annotate the source of the application to indicate the desired pipeline stages and associated data flow, with little...
متن کاملUnsteady MHD nonlinear radiative squeezing slip-flow of Casson fluid between parallel disks
Effect of nonlinear thermal radiation on the unsteady magnetohydrodynamic slip flow of Casson fluid between parallel disks in the presence of thermophoresis and Brownian motion effects are investigated numerically. A similarity transformation is employed to reduce the governing partial differential equations into ordinary differential equations. Further, Runge-Kutta and Newton’s methods are ado...
متن کاملA pipelined code mapping scheme for static data flow computers
Computers built on data Ilow principles promise efficient parallel computation limited in speed only by data dependencies in the calculation being performed. We demonstrate how the massive parallelism of array operations in numerical scientific computation programs can be effectively exploited by the fine-grain parallelism of static data flow architecture. The power of such fine-grain paralleli...
متن کاملFlow Pattern Identification and Pressure Drop Calculation for Gas-Liquid Flow in a Horizontal Pipeline
Two phase gas-liquid flow pattern in a horizontal pipeline is predicted very accurately using a newly-developed analytical relation. The pattern identification is based on one of the most widely used graphs, the Baker diagram, modified in a way that compensates for the unrealistic oversimplifications of recent works. The Kern's method of pressure drop calculation is used to obtain the frict...
متن کاملIrreducible Decompositions of Transformation Graphs by Assignment Techniques
Autonomous sequential networks are represent ed by transformation graphs, i. e. , finite directed graphs, each vertex of which has out degree one. A network that can be realized by a set of simpler, parallel networks corresponds to a transformation graph representable as a cartesian product of sim pler graphs. An algorithm for obtaining the vari ous decompositions of a given transformation g...
متن کامل